Equivariant K-Theory and Refined Vafa–Witten Invariants
نویسندگان
چکیده
منابع مشابه
Boosting k-Induction with Continuously-Refined Invariants
k-induction is a promising technique to extend bounded model checking from falsification to verification. In software verification, k-induction works only if auxiliary invariants are used to strengthen the induction hypothesis. The problem that we address is to generate such invariants (1) automatically without user-interaction, (2) efficiently such that little verification time is spent on the...
متن کاملEquivariant K-theory
Topological K-theory [2] has many variants which have been developed and exploited for geometric purposes. There are real or quaternionic versions, “Real” K-theory in the sense of [1], equivariant K-theory [14] and combinations of all these. In recent years K-theory has found unexpected application in the physics of string theories [6, 12, 13, 16] and all variants of K-theory that had previousl...
متن کاملCombining k-Induction with Continuously-Refined Invariants
Bounded model checking (BMC) is a well-known and successful technique for finding bugs in software. k-induction is an approach to extend BMC-based approaches from falsification to verification. Automatically generated auxiliary invariants can be used to strengthen the induction hypothesis. We improve this approach and further increase effectiveness and efficiency in the following way: we start ...
متن کاملEquivariant Representable K-theory
We interpret certain equivariant Kasparov groups as equivariant representable K-theory groups. We compute these groups via a classifying space and as K-theory groups of suitable σ-C-algebras. We also relate equivariant vector bundles to these σ-C-algebras and provide sufficient conditions for equivariant vector bundles to generate representable K-theory. Mostly we work in the generality of loca...
متن کاملPermutation - Equivariant Quantum K - Theory
K-theoretic Gromov-Witten (GW) invariants of a complex algebraic manifold X are defined as super-dimensions of sheaf cohomology of interesting bundles over moduli spaces of n-pointed holomorphic curves in X. In this paper, we introduce K-theoretic GW-invariants cognizant of the Sn-module structure on the sheaf cohomology, induced by renumbering of the marked points, and compute such invariants ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications in Mathematical Physics
سال: 2020
ISSN: 0010-3616,1432-0916
DOI: 10.1007/s00220-020-03821-1